Unraveling the Infeasibility Knot: Graph-Guided Troubleshooting for Complex Constraints
dev.to·6h·
Discuss: DEV
🧮Constraint Solvers
Safe Chain: Stopping Malicious NPM Packages Before They Wreck Your Project
aikido.dev·1d·
Discuss: Hacker News
📦Container Security
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·3d
🦀Rust Macros
Learning languages with the help of algorithms
johndcook.com·17h·
Discuss: Hacker News
🧮Kolmogorov Complexity
GTA -- An ATSP Method: Shifting the Bottleneck from Algorithm to RAM
arxiv.org·10h
🚀SIMD Text Processing
pnpm with Zoltan Kochan
softwareengineeringdaily.com·5h
🧩WASM Components
Python 3.14.0rc3 is go!
blogger.com·2h
🌳Incremental Parsing
Taming Service-Oriented Architecture Using A Data-Oriented Service Mesh
medium.com·1d
🏠Homelab Orchestration
Unraveling the Impossible: Finding the Roots of Optimization Failures
dev.to·4h·
Discuss: DEV
🎯Performance Proofs
Issue 490
haskellweekly.news·2h
🔗Functional Compilers
Carbon Copy No.8: Classes Part II
github.com·6h·
Discuss: Hacker News
🎯Gradual Typing
A Graph Machine Learning Approach for Detecting Topological Patterns in Transactional Graphs
arxiv.org·1d
🕸️Graph Embeddings
Generic functional parallel algorithms: scan and FFT (2017)
dl.acm.org·1h·
Discuss: Hacker News
🔗Functional Compilers
Lomuto's Comeback for Quicksort Partitions
dlang.org·20h·
Discuss: Hacker News
🎯Performance Proofs
Supply chain attacks are the new big thing (2022)
cryptologie.net·1d·
Discuss: Hacker News
📦Package Managers
The Ultimate Guide to Linux Default Package Managers
maketecheasier.com·1d·
Discuss: Hacker News
📦Package Managers
category-labs/monad
github.com·12h
🔗Functional Compilers
Hardness of Dynamic Core and Truss Decompositions
arxiv.org·10h
🎯Performance Proofs
10 Best Code Smell Detection Tools in 2025
dev.to·16h·
Discuss: DEV
📏Code Metrics
Moving off of TypeScript, 2.5M lines of code
engineering.usemotion.com·22h·
Discuss: Hacker News
🎯Gradual Typing